A Functional Object Database Language
نویسندگان
چکیده
The language BCOOL is formally de ned using a denotational seman tics approach BCOOL is a functional object database language with a very exible yet strong and statically checked type system Its main source of exibility is its support for object evolution that is dynamic type changes of existing objects Originally BCOOLwas used as a formal basis for a more traditional relational algebra style database language COOL In this paper though BCOOL is presented on its own The purpose being to compare with other functional languages and discuss the virtues and limitations that BCOOL and these functional languages have w r t each other in terms of i the above mentioned exibility in the type system which we consider essential for objects and ii the orthogonality of the language
منابع مشابه
Functional Programming Formalisms for OODB Methods
Two well-studied functional formalisms in the theory of programming languages are (1) applicative program schemas and (2) typed lambda calculi. We relate these programming formalisms to object-oriented databases (OODBs) and in particular to the description of methods. The language of method schemas (MS) is a programming formalism based on applicative program schemas with additional key object-o...
متن کاملA Mediocre Approach to Syndicate the Attributes for a Class or Relation
The design of an information system for a business process can be implemented either in the object-oriented paradigm or in relational database management system as per the client’s choice. In object oriented paradigm, the design starts with abstraction of objects, classes, attributes, functional dependencies, interrelationships and use cases but in relational database management system (RDBMS) ...
متن کاملFunctional Programming Formalisms for OODBMS Methods
Two well-studied functional formalisms in the theory of programming languages are (1) applicative program schemas and (2) typed lambda calculi. We relate these programming formalisms to object-oriented databases (OODBs) and in particular to the description of methods. The language of method schemas (MS) is a programming formalism based on applicative program schemas with additional key object-o...
متن کاملInternational Symposium on Programming Languages : Implementations , Logics
This paper presents a novel typed deductive database programming language LOL being developed at the University of Regina. This language eeectively integrates important features in object-oriented data models, complex object data models, functional data models, and deductive query languages in a uniform framework. It supports object identity, structured values, complex objects, classes, class h...
متن کاملA Functional Object
The language BCOOL is formally deened using a denotational semantics approach. BCOOL is a functional object database language with a very exible, yet strong and statically checked, type system. Its main source of exibility is its support for object evolution, that is, dynamic type changes of existing objects. Originally, BCOOL was used as a formal basis for a more traditional (relational algebr...
متن کامل